Applying rule-base anomalies to KADS inference structures
نویسنده
چکیده
The literature on validation and verification of knowledge-based systems contains a catalogue of anomalies for knowledge-based systems, such as redundant, contradictory or deficient knowledge. Detecting such anomalies is a method for verifying knowledge-based systems. Unfortunately, the traditional formulation of the anomalies in the literature is very specific to a rule-based knowledge representation, which greatly restricts their applicability. In this paper, we show how the traditional anomalies can be reinterpreted in terms of conceptual models (in particular KADS inference structures). For this purpose, we present a formalisation of KADS inference structures which enables us to apply the traditional rulebase anomalies to these inference structures. This greatly improves the usefulness of the anomalies, since they can now be applied to a much wider class of knowledge-based systems. Besides this reformulation and wider applicability of the traditional anomalies, further contributions of this paper are a novel formalisation of KADS inference structures and a number of improvements to the existing formalisation of the traditional anomalies.
منابع مشابه
Object-Oriented Patterns: Lessons from Expert Systems
ION DATA Data Solutions REFINEMENT Figure 5. Heuristic classification KADS is the dominant KL approach. Wielinga et. al. note that, as of 1992, KADS has been used in some 40-to 50 knowledge-based systems (KBS) projects, 17 of which are described in published papers 14. In his classic Heuristic Classification paper, Clancey reverse-engineered 10 expert systems written in a variety of tools and l...
متن کاملProgramming Conceptual Models Using Conceptual Graph Modules
This article introduces some basic functions and architectural issues for building a tool for programming conceptual models for explainable expert systems. The programming tool is independent from a particular problem class or problem solving method. Our work is based on the KADS knowledge engineering methodology which results in a conceptual model, and we use Sowa ́s Conceptual Graphs (CG) as a...
متن کاملCooperation between the Inference System and the Rule Base by Using Multiobjective Genetic Algorithms
This paper presents an evolutionary Multiobjective learning model achieving positive synergy between the Inference System and the Rule Base in order to obtain simpler and still accurate linguistic fuzzy models by learning fuzzy inference operators and applying rule selection. The Fuzzy Rule Based Systems obtained in this way, have a better trade-off between interpretability and accuracy in ling...
متن کاملKROL: A Knowledge Representation Object Language On Top Of Prolog
This paper presents a Knowledge Representation Object Language (KROL) on top of Prolog. KROL aimed at providing the ability to develop second-generation expert systems. The main aspects of KROL include multi-paradigm knowledge representation (first-order predicate logic, objects, rules), inference mechanisms at different levels of granularity, explanation facility, object-oriented database mana...
متن کاملA linguistic fuzzy model with a monotone rule base is not always monotone
In this paper experiments are described with three linguistic fuzzy models sharing the same monotone rule base and the same membership functions for the two input variables, but applying different membership functions in the output domain. We investigated which inference methods result in a monotonic input-output behaviour. Apart from the conventional Mamdani–Assilian inference method with Cent...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Decision Support Systems
دوره 21 شماره
صفحات -
تاریخ انتشار 1997